systematic proof method

un. 系统证明法

热门查询

HIC　　int. （喝醉时的打嗝声）嗝
surging　　v. 冲击（surge的ing形式）；浪涌
FDDI　　光纤分布式数据接口
mac　　abbr. 测量与控制（Measurement and Control）；机器辅助识别（Machine Aided Cognition）；多路存取计算机（Multi-Access Computer）；多功能计算机（Multiaction Computer） n. (Mac)人名；(法、德、罗)马克；(英)马克
sor　　abbr. sorbose 己酮糖; sale or return 销售或利润; sequential occupancy rate 连续占有速率; sorority <美国>大学女生联谊会
cocked　　adj. 竖起的；翘起的 v. 使翘起（cock的过去式和过去分词）；使歪斜
politicise　　vt. 使政治化，使具有政治性; 使对政治有兴趣
sceptical　　adj. 怀疑的；怀疑论的；习惯怀疑的
dynamite　　n. 炸药；具有潜在危险的人（或物） vt. 炸毁 adj. 极好的
jeopardise　　vt. 危及（等于jeopardize）；使…受危险
compagnie　　n. 公司（等于company）
birthday　　n. 生日，诞辰；诞生的日子
houselights　　n. 观众席的灯光
unbending　　adj. 坚定的；不易弯曲的；冷漠的 n. 随意；舒畅 v. 将…弄直；松弛；伸直（unbend的ing形式）
desolated　　v. 毁坏( desolate的过去式和过去分词 ); 极大地破坏; 使沮丧; 使痛苦
warbird　　n. 军用飞机，机组成员
inescapably　　adv. 逃不掉地
blended　　v. [天] 混合（blend的过去式和过去分词） adj. 混杂的；数种混合的
broadening　　n. 扩展；[光] 增宽 v. 放宽；扩张（broaden的ing形式） adj. 加宽的
fitting　　n. 装配，装置；试穿，试衣 adj. 适合的，适宜的；相称的 n. (Fitting)人名；(英、德)菲廷